Skip to content

Conversation

@mmarx
Copy link
Member

@mmarx mmarx commented May 14, 2025

  • Add nix flake
  • Upgrade Astro, starlight, and dependencies
  • Fix broken links
  • Add workflow checking for broken links

@mmarx mmarx requested a review from monsterkrampe May 14, 2025 21:59
@mmarx mmarx self-assigned this May 14, 2025
@mmarx mmarx added the enhancement New feature or request label May 14, 2025
(Object.entries(formats) as [keyof typeof formats, Format][]).map(([_key, format]) => {

// Specify the styling of each parameter
return (
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

More of a curiosity: In the next line React would like to have a key on TabItem like <TabItem key={...} to identify the elements of the resulting array. Omitting it would show a warning in the browsers dev tools at least in the development environment (not sure about production). Astro does not want that?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll check, apart from renaming key, I did not touch the line any further.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I know, that's also why I couldn't mark the exact line :D
I was just curious, this is quite out of scope of this PR and likely needs to be checked in other places too (if it is even an issue at all).

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not only does it now want that, it also doesn't allow you to set that, see https://starlight.astro.build/components/tabs/#tabitem-props. But then again, we're just generating static HTML, so I guess there's also no need to actually identify the elements.

@mmarx mmarx merged commit 06a89b8 into main May 15, 2025
2 checks passed
@mmarx mmarx deleted the flakify branch May 15, 2025 10:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants